Vector Spaces

• Linear and Affine

  In types and transformations
  March 17, 2026 · Math, Type Theory, Linear Algebra, Vector Spaces